Bookmarks

Description

Bookmarks allow you to temporarily tag one or more variables or constraints. A bookmarked nod in the tree will appear in blue text with an exclamation mark in front of the corresponding icon. While navigating through the tree you will always change the current selection, while the bookmarked nodes will not be affected. Whenever you select and/or bookmark a node, all its child nodes plus parent nodes are also selected/bookmarked.

Toggle Bookmark

By selecting Toggle Bookmark from the Bookmarks menu, the selected nodes are bookmarked and appear in blue text. When a node is already bookmarked the bookmark is removed from the node.

Next Bookmark

By selecting Next Bookmark from the Bookmarks menu, the selection jumps to the next bookmarked leaf node in the tree, starting from the beginning of the selection.

Previous Bookmark

By selecting Previous Bookmark from the Bookmarks menu, the selection jumps to the previous bookmarked leaf node in the tree, starting from the beginning of the selection.

Bookmark Current Selection

By selecting Bookmark Current Selection from the Bookmarks menu, you can easily bookmark all selected nodes.

Select All Bookmarks

By selecting Select All Bookmarks from the Bookmarks menu, you can easily select all bookmarked leaf nodes.

Clear All Bookmarks

By selecting Clear All Bookmarks from the Bookmarks menu, the bookmarks are removed from all the nodes.

Learn more about